/*
 * anima/x86_64/cmdline.cc - x86-64-specific command line options.
 * Copyright (C) 2007  Mikhail Vorozhtsov
 * See the LICENSE section of the README file for details.
 */

/* $Id$ */

#include HEADER (anima,cmdline.hh)
#include HEADER (anima/x86_64,cpu.hh)

START_NAMESPACE (anima)

const ::anima::cmdline::option_t * cmdline::arch_options[] =
  {
    &anima::x86_64::cpu_t::use_hlt_option,
    NULL
  };

const ::anima::cmdline::option_t * cmdline::machine_options[] = { NULL };

END_NAMESPACE

